#include<stdio.h>
int main()
{
	int a, b, c;
	scanf_s("%d %d %d", &a, &b, &c);
	int d = a + b + c;
	printf("%d %.1f\n", d, d / 3.0);
	return 0;
}